$\forall$$A$, $B$:Realizer. R{-}Feasible($A$) $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ $A$ $\parallel$ $B$ $\Rightarrow$ R{-}discrete($A$) $\parallel$ R{-}discrete($B$)